 | Personal Information Address Formal methods, formal verification, model checking, partial order reduction methods, hardware/software co-verification, software engineering, automata and concurrency theory, formal approaches for testing, finite state machine based 50.36 Kb.  1 | read |
| Yi-Luen Ellen Do Investigation of Freehand Drawing as an Interface to Knowledge Based Design Tools 49.88 Kb. 1 | read |
 | Curriculum Vitae William A. Kretzschmar, Jr. Academic History Part-time Instructor at Mundelein College, University of Chicago, Chicago State University, and Loyola University of Chicago, 1977-1982 163.96 Kb. 2 | read |
 | Tielt: a testbed for Gaming Environments Matthew Molineaux 1,2 and David W. Aha 2 Intelligent Decision Aids Group; Navy Center for Applied Research in Artificial Intelligence 284.96 Kb. 1 | read |
1 2